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

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