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

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