(1,30) (2,24) (3,26) (4,19) (5,28) (6,17) (7,16) (8,21) (9,22) (10,18) (11,23) (12,25) (13,27) (14,29) 
nodes: 7026  conflicts: 20  modelTime: 656  solveTime: 11768  totalTime: 12429  modelSize: 41293  readTime: 5 size: 14