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

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