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

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