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

0 13 32 
1 14 24 
5 6 15 
7 31 33 
9 20 36 
11 29 30 
23 28 34