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

0 3 21 
2 8 17 
4 6 31 
5 18 28 
12 38 39 
13 23 30 
22 26 33