(1,21) (2,25) (3,17) (4,23) (5,29) (6,27) (7,16) (8,20) (9,19) (10,30) (11,22) (12,28) (13,18) (14,24) 
nodes: 34379  conflicts: 15  modelTime: 1199  solveTime: 117995  totalTime: 119211  modelSize: 41292  readTime: 17 size: 14