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