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

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