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

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