(1,21) (2,14) (3,15) (4,22) (5,28) (6,30) (7,23) (8,27) (9,25) (10,13) (11,26) (12,20) (16,29) (17,18) (19,24) 
nodes: 32125  conflicts: 34  modelTime: 1216  solveTime: 141569  totalTime: 142804  modelSize: 72263  readTime: 19 size: 15