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

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