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

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