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

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