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