(1,18) (2,27) (3,21) (4,30) (5,25) (7,16) (8,20) (9,29) (10,23) (11,17) (12,26) (13,22) (14,28) (15,19) 
nodes: 4818  conflicts: 31  modelTime: 656  solveTime: 8929  totalTime: 9591  modelSize: 41292  readTime: 6 size: 14