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