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