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

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