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