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

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