loading SCIP...
n: 30 m: 32 packed: 7 density: 70 nodes: 0 solverTime: 15 buildTime: 0 solved: false

0 5 9 
1 3 7 
8 17 23 
10 18 22 
13 21 24 
15 16 29 
25 26 28