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

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