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

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