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