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