(1,18) (2,30) (3,26) (4,27) (5,22) (6,16) (7,24) (9,20) (11,19) (12,21) (13,17) (14,23) 
nodes: 2867  conflicts: 53  modelTime: 658  solveTime: 3912  totalTime: 4577  modelSize: 41293  readTime: 7 size: 12