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