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

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