(1,18) (3,24) (4,30) (5,25) (6,23) (7,26) (8,16) (9,17) (10,20) (11,27) (12,22) (13,29) (14,21) (15,28) 
nodes: 967  conflicts: 30  modelTime: 656  solveTime: 1770  totalTime: 2433  modelSize: 41292  readTime: 7 size: 14