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

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