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

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