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