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