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

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