loading SCIP...
n: 30 m: 82 packed: 9 density: 90 nodes: 0 solverTime: 360 buildTime: 0 solved: false

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