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