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