loading SCIP...
n: 30 m: 237 packed: 10 density: 100 nodes: 0 solverTime: 94 buildTime: 0 solved: true

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