loading SCIP...
n: 40 m: 15 packed: 6 density: 46 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 17 32 
1 4 16 
3 7 11 
9 20 22 
12 23 33 
30 38 39