loading SCIP...
n: 40 m: 17 packed: 7 density: 53 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 8 22 
3 14 32 
4 19 28 
12 27 36 
13 15 34 
16 26 37 
17 31 33