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

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