loading SCIP...
n: 40 m: 26 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 5 8 
1 14 22 
3 17 27 
4 7 18 
9 12 38 
10 23 33 
11 16 36 
15 28 32