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

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