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

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