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