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

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