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