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

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