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

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