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