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

0 3 23 
1 24 36 
6 27 37 
7 18 25 
8 16 19 
9 28 32 
10 20 34