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