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