(1,24) (2,28) (3,22) (4,30) (5,21) (6,16) (7,26) (8,27) (9,19) (11,29) (12,20) (13,17) (14,18) (15,23) 
nodes: 1430  conflicts: 17  modelTime: 662  solveTime: 2745  totalTime: 3412  modelSize: 41293  readTime: 5 size: 14