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

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