(2,28) (3,24) (4,23) (5,21) (6,25) (8,29) (9,22) (10,30) (11,18) (12,17) (14,16) 
nodes: 2852  conflicts: 65  modelTime: 662  solveTime: 4599  totalTime: 5267  modelSize: 41293  readTime: 6 size: 11