(1,24) (3,21) (4,26) (5,30) (6,22) (7,20) (8,27) (9,19) (12,17) (13,23) (14,18) (15,28) 
nodes: 2665  conflicts: 35  modelTime: 660  solveTime: 3496  totalTime: 4163  modelSize: 41293  readTime: 7 size: 12