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