(1,24) (2,26) (3,22) (4,25) (5,17) (6,23) (7,19) (8,18) (9,20) (12,29) (14,21) (15,28) 
nodes: 1114  conflicts: 48  modelTime: 660  solveTime: 1719  totalTime: 2386  modelSize: 41293  readTime: 7 size: 12