loading SCIP...
n: 40 m: 22 packed: 7 density: 53 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 20 36 
1 8 10 
3 22 35 
7 19 21 
12 25 29 
13 18 23 
14 24 28