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