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

0 15 25 
2 30 37 
4 9 12 
5 18 20 
7 19 27 
10 11 33 
14 21 24 
22 26 36 
28 31 35 
29 32 38