(1,28) (2,26) (3,24) (4,21) (6,18) (7,23) (8,25) (9,30) (10,27) (11,20) (12,29) (13,17) (14,22) 
nodes: 1957  conflicts: 33  modelTime: 664  solveTime: 2653  totalTime: 3323  modelSize: 41292  readTime: 6 size: 13