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

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