(2,25) (3,22) (5,26) (6,27) (7,24) (8,21) (9,23) (11,16) (12,30) (13,29) (14,28) (15,18) 
nodes: 1650  conflicts: 44  modelTime: 1205  solveTime: 3151  totalTime: 4364  modelSize: 41293  readTime: 8 size: 12