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

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