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

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