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