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

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