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