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