(1,29) (2,16) (3,22) (4,28) (5,18) (6,25) (7,19) (9,20) (10,24) (11,23) (12,17) (13,21) (14,26) (15,27) 
nodes: 1042  conflicts: 18  modelTime: 752  solveTime: 1520  totalTime: 2278  modelSize: 41293  readTime: 6 size: 14