(1,25) (4,30) (5,26) (6,18) (8,17) (9,22) (10,20) (11,19) (12,23) (13,27) (14,28) 
nodes: 1078  conflicts: 58  modelTime: 658  solveTime: 1503  totalTime: 2167  modelSize: 41292  readTime: 6 size: 11