(1,27) (3,30) (4,16) (5,26) (6,25) (7,19) (9,29) (10,23) (11,24) (12,17) (13,28) (14,20) (15,22) 
nodes: 2023  conflicts: 41  modelTime: 661  solveTime: 2745  totalTime: 3412  modelSize: 41293  readTime: 6 size: 13