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