(1,19) (2,25) (3,29) (4,24) (5,21) (6,23) (7,27) (8,20) (9,16) (10,17) (11,22) (12,18) (14,26) (15,28) 
nodes: 13634  conflicts: 25  modelTime: 692  solveTime: 31467  totalTime: 32166  modelSize: 41292  readTime: 7 size: 14