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

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