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

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