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

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