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