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

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