(1,24) (2,20) (3,28) (4,27) (5,23) (6,16) (7,18) (8,22) (9,21) (10,25) (11,29) (12,17) (14,26) (15,19) 
nodes: 44140  conflicts: 16  modelTime: 1306  solveTime: 160726  totalTime: 162040  modelSize: 41292  readTime: 8 size: 14