loading SCIP...
n: 40 m: 144 packed: 13 density: 100 nodes: 0 solverTime: 860 buildTime: 0 solved: true

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