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