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

0 14 34 
2 4 13 
5 17 25 
6 15 26 
7 19 21 
8 29 39 
9 10 32 
11 27 31 
12 23 28 
16 22 33