loading SCIP...
n: 40 m: 13 packed: 5 density: 38 nodes: 0 solverTime: 15 buildTime: 0 solved: false

0 5 33 
8 18 30 
11 16 29 
15 17 27 
22 26 32