(1,25) (2,30) (3,16) (4,19) (5,26) (6,27) (7,23) (8,20) (9,22) (10,28) (11,17) (12,21) (13,29) (14,24) 
nodes: 4371  conflicts: 9  modelTime: 1186  solveTime: 16437  totalTime: 17632  modelSize: 41292  readTime: 9 size: 14