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

0 10 14 
3 24 25 
6 22 35 
11 30 38 
13 23 34 
15 17 28 
20 26 29