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

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