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