(1,23) (2,29) (3,30) (4,16) (5,22) (6,20) (7,28) (8,19) (10,24) (11,26) (12,27) (13,17) (14,21) (15,25) 
nodes: 14424  conflicts: 20  modelTime: 1194  solveTime: 43701  totalTime: 44904  modelSize: 41293  readTime: 9 size: 14