loading SCIP...
n: 40 m: 70 packed: 10 density: 76 nodes: 0 solverTime: 63 buildTime: 0 solved: false

0 9 22 
1 12 25 
3 31 35 
4 8 21 
6 18 24 
10 15 28 
11 30 36 
13 23 38 
16 33 34 
17 26 39