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

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