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

0 17 30 
3 31 39 
4 35 36 
9 19 22 
10 11 24 
13 16 25 
18 32 34