loading SCIP...
n: 40 m: 56 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 5 18 
1 16 19 
2 36 37 
4 26 34 
6 30 33 
8 11 27 
9 31 32 
10 15 21 
17 20 23 
22 38 39