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