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

0 24 28 
2 3 34 
4 22 26 
6 16 19 
7 8 15 
12 14 18 
29 32 33