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