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