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