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