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

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