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