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

0 9 35 
1 14 23 
7 10 31 
11 18 21 
12 33 36 
13 24 29