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

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