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

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