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

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