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