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

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