loading SCIP...
n: 30 m: 63 packed: 8 density: 80 nodes: 0 solverTime: 0 buildTime: 0 solved: false

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