(1,21) (4,19) (5,16) (6,30) (7,27) (8,25) (9,23) (11,28) (12,20) (13,24) (14,22) (15,17) 
nodes: 1563  conflicts: 47  modelTime: 689  solveTime: 2017  totalTime: 2712  modelSize: 41292  readTime: 6 size: 12