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