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