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