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