(1,28) (2,27) (3,16) (4,18) (5,23) (6,20) (7,17) (8,24) (9,29) (10,21) (11,19) (12,25) (14,22) (15,26) 
nodes: 3295  conflicts: 13  modelTime: 1187  solveTime: 9159  totalTime: 10356  modelSize: 41292  readTime: 10 size: 14