(1,29) (2,19) (3,22) (4,17) (6,16) (7,13) (8,28) (9,30) (10,20) (11,24) (12,15) (14,26) (18,25) (21,23) 
nodes: 451  conflicts: 61  modelTime: 926  solveTime: 1929  totalTime: 2866  modelSize: 72266  readTime: 11 size: 14