loading SCIP...
n: 30 m: 62 packed: 8 density: 80 nodes: 0 solverTime: 32 buildTime: 0 solved: false

2 6 15 
5 8 11 
7 9 22 
10 18 21 
13 14 28 
16 20 24 
17 25 27 
23 26 29