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