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

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