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

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