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

0 21 37 
3 33 35 
6 22 30 
8 20 28 
9 10 23 
12 14 19 
25 29 32