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