loading SCIP...
n: 40 m: 30 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false

2 15 31 
3 9 10 
5 8 24 
6 34 37 
7 33 35 
12 13 36 
19 21 23 
20 27 28 
22 25 26