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