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

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