loading SCIP...
n: 40 m: 32 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false

0 1 22 
2 5 11 
7 10 39 
8 33 36 
12 28 37 
15 19 38 
17 23 30 
18 20 35