loading SCIP...
n: 40 m: 40 packed: 11 density: 84 nodes: 0 solverTime: 16 buildTime: 0 solved: false

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