(1,14) (2,15) (3,27) (4,22) (5,6) (7,30) (8,21) (9,10) (11,25) (12,24) (13,26) (16,29) (17,23) (18,19) (20,28) 
nodes: 59640  conflicts: 18  modelTime: 1731  solveTime: 288209  totalTime: 289984  modelSize: 72285  readTime: 43 size: 15