(1,19) (2,30) (3,18) (4,20) (5,25) (6,17) (8,22) (9,24) (10,27) (11,16) (12,28) (13,29) (14,21) (15,23) 
nodes: 3410  conflicts: 24  modelTime: 690  solveTime: 9546  totalTime: 10242  modelSize: 41292  readTime: 6 size: 14