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