(1,25) (2,20) (3,19) (4,29) (5,16) (6,27) (7,23) (8,21) (9,24) (10,26) (11,17) (12,28) (13,22) (15,30) 
nodes: 920  conflicts: 31  modelTime: 656  solveTime: 1340  totalTime: 2003  modelSize: 41292  readTime: 7 size: 14