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