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