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

0 19 31 
1 28 30 
3 13 15 
4 7 26 
8 35 38 
10 17 32 
11 25 29 
12 22 34 
16 21 24 
18 27 39