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