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

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