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

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