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

0 21 23 
1 30 35 
2 24 28 
4 5 17 
6 15 34 
7 31 32 
9 11 22 
10 26 38 
12 27 29 
13 16 37