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

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