(1,21) (2,5) (3,18) (4,24) (6,12) (7,23) (8,22) (11,14) (13,15) (16,25) (17,27) (19,29) (20,28) (26,30) 
nodes: 35262  conflicts: 31  modelTime: 1726  solveTime: 116409  totalTime: 118154  modelSize: 72264  readTime: 19 size: 14