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

0 28 31 
1 17 38 
2 11 21 
4 25 37 
7 32 35 
9 13 18 
10 14 19 
12 33 39 
15 16 23 
20 30 36