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

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