loading SCIP...
n: 40 m: 17 packed: 7 density: 53 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 17 19 
8 10 38 
9 12 29 
11 27 36 
13 18 31 
20 30 34 
23 26 33