(1,30) (2,19) (3,18) (4,16) (5,24) (6,28) (7,17) (8,25) (9,21) (10,29) (11,23) (12,22) (14,27) (15,20) 
nodes: 8285  conflicts: 20  modelTime: 660  solveTime: 17793  totalTime: 18459  modelSize: 41293  readTime: 6 size: 14