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