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

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