(1,30) (2,25) (3,12) (4,6) (5,27) (7,22) (8,10) (9,24) (11,21) (13,28) (14,26) (15,17) (16,23) (18,19) (20,29) 
nodes: 151010  conflicts: 59  modelTime: 1682  solveTime: 559809  totalTime: 561511  modelSize: 72266  readTime: 20 size: 15