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

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