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

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