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