loading SCIP...
n: 40 m: 23 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 17 34 
1 19 26 
4 13 23 
7 27 30 
8 29 39 
11 12 24 
15 22 28 
16 25 31