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

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