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

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