(1,18) (2,22) (3,30) (4,19) (5,20) (6,26) (8,27) (9,29) (10,21) (11,17) (12,25) (13,28) (14,24) (15,23) 
nodes: 5231  conflicts: 31  modelTime: 658  solveTime: 8499  totalTime: 9163  modelSize: 41292  readTime: 6 size: 14