loading SCIP...
n: 30 m: 133 packed: 9 density: 90 nodes: 0 solverTime: 140 buildTime: 0 solved: false

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