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