loading SCIP...
n: 40 m: 273 packed: 13 density: 100 nodes: 0 solverTime: 219 buildTime: 0 solved: true

1 17 23 
2 4 6 
3 30 31 
5 16 36 
7 8 25 
9 18 20 
10 13 33 
11 19 28 
12 21 32 
14 26 27 
15 29 38 
22 34 35 
24 37 39