(1,17) (2,20) (3,25) (4,30) (5,23) (6,24) (8,19) (10,21) (11,28) (12,29) (13,26) (14,22) (15,18) 
nodes: 1625  conflicts: 48  modelTime: 658  solveTime: 1917  totalTime: 2582  modelSize: 41292  readTime: 7 size: 13