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