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

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