(2,20) (3,22) (4,26) (5,19) (6,21) (8,24) (9,28) (10,16) (11,30) (12,23) (13,25) (15,18) 
nodes: 2053  conflicts: 50  modelTime: 662  solveTime: 2533  totalTime: 3202  modelSize: 41292  readTime: 7 size: 12