(1,21) (2,29) (3,20) (4,25) (5,22) (6,27) (7,28) (8,18) (9,30) (10,26) (11,19) (12,23) (13,17) (14,16) 
nodes: 1135  conflicts: 31  modelTime: 659  solveTime: 1585  totalTime: 2251  modelSize: 41292  readTime: 7 size: 14