#! ./tesh ! timeout 300 ! expect return 0 ! output sort $ $SG_TEST_EXENV ${bindir:=.}/maxmin_bench big 1 > Starting 0: (807) > Starting to solve(812) > 1x One shot execution time for a total of 2000 constraints, 2000 variables with 96 active constraint each, concurrency in [32,288] and max concurrency share 2