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

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