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