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

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