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

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