(2,16) (3,19) (4,18) (5,30) (8,28) (9,24) (10,21) (11,23) (12,29) (13,27) (14,22) (15,20) 
nodes: 1874  conflicts: 49  modelTime: 658  solveTime: 3374  totalTime: 4038  modelSize: 41293  readTime: 6 size: 12