(1,20) (4,17) (5,18) (6,29) (8,22) (9,27) (10,24) (11,23) (12,30) (13,28) (14,26) 
nodes: 3082  conflicts: 62  modelTime: 665  solveTime: 3578  totalTime: 4251  modelSize: 41292  readTime: 8 size: 11