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

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