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