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

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