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

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