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