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

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