(1,13) (2,11) (3,17) (4,28) (5,26) (6,21) (7,10) (8,23) (9,27) (12,29) (14,30) (15,19) (16,24) (18,25) (20,22) 
nodes: 421264  conflicts: 33  modelTime: 1720  solveTime: 1441155  totalTime: 1442894  modelSize: 72275  readTime: 19 size: 15