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

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