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

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