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

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