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