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