loading SCIP...
n: 30 m: 57 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false

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