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

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