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