loading SCIP...
n: 40 m: 86 packed: 12 density: 92 nodes: 0 solverTime: 47 buildTime: 0 solved: false

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