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

0 4 35 
2 9 17 
6 21 25 
7 20 33 
8 16 30 
13 31 39 
14 19 29