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

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