(1,24) (2,19) (4,21) (5,29) (6,17) (8,27) (9,23) (10,28) (11,25) (12,18) (14,30) (15,16) 
nodes: 2158  conflicts: 41  modelTime: 665  solveTime: 2187  totalTime: 2858  modelSize: 41293  readTime: 6 size: 12