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

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