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