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