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

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