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

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