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

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