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

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