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

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