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