loading SCIP...
n: 40 m: 26 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false

0 15 32 
5 16 30 
6 35 39 
9 10 13 
17 24 38 
20 31 36 
21 26 27 
22 25 29