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