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