loading SCIP...
n: 40 m: 58 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false

0 11 22 
1 24 37 
2 5 9 
3 6 23 
4 8 31 
7 32 39 
12 14 34 
13 20 25 
28 29 36 
30 33 38