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

0 13 22 
2 32 38 
5 8 24 
7 21 31 
9 12 37 
10 27 35 
14 17 29 
15 28 36 
16 20 33 
25 30 34