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

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