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