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