(2,21) (3,17) (4,27) (5,16) (6,30) (7,18) (8,22) (9,19) (10,29) (11,25) (13,28) (14,23) (15,20) 
nodes: 1938  conflicts: 36  modelTime: 658  solveTime: 3521  totalTime: 4185  modelSize: 41293  readTime: 6 size: 13