loading SCIP...
n: 40 m: 141 packed: 12 density: 92 nodes: 0 solverTime: 172 buildTime: 0 solved: false

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