(1,19) (2,20) (3,28) (4,25) (5,26) (6,21) (7,30) (9,18) (10,17) (11,24) (12,23) (13,22) (14,27) (15,29) 
nodes: 1585  conflicts: 38  modelTime: 657  solveTime: 1735  totalTime: 2399  modelSize: 41292  readTime: 7 size: 14