loading SCIP...
n: 40 m: 117 packed: 12 density: 92 nodes: 0 solverTime: 47 buildTime: 0 solved: false

0 25 36 
1 24 34 
2 17 23 
3 20 21 
4 22 32 
5 6 27 
7 19 37 
8 11 29 
9 28 35 
12 13 30 
14 16 33 
15 26 31