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

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