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

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