(1,24) (2,30) (3,21) (4,23) (5,22) (6,18) (7,25) (8,27) (9,17) (10,19) (11,16) (12,29) (14,28) (15,20) 
nodes: 1105  conflicts: 1  modelTime: 1066  solveTime: 1445  totalTime: 2517  modelSize: 41292  readTime: 6 size: 14