loading SCIP...
n: 40 m: 143 packed: 13 density: 100 nodes: 0 solverTime: 141 buildTime: 0 solved: true

0 5 36 
1 21 35 
2 34 39 
3 28 30 
4 19 24 
6 27 31 
7 33 38 
8 9 18 
10 32 37 
11 20 23 
12 13 17 
15 25 29 
16 22 26