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