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

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