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