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