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

0 9 25 
1 3 10 
5 13 30 
8 12 37 
11 24 39 
15 23 35 
19 22 26