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