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

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