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