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