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