loading SCIP...
n: 30 m: 96 packed: 9 density: 90 nodes: 0 solverTime: 47 buildTime: 0 solved: false

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