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