(1,17) (2,21) (3,19) (5,25) (6,28) (7,27) (8,20) (9,23) (11,22) (12,29) (13,26) (14,18) (15,24) 
nodes: 1974  conflicts: 37  modelTime: 655  solveTime: 3198  totalTime: 3859  modelSize: 41292  readTime: 6 size: 13