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

0 26 39 
1 24 25 
2 9 22 
6 14 38 
8 16 34 
15 18 35 
20 28 30