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