(1,20) (2,29) (3,30) (5,27) (6,16) (8,25) (9,24) (10,21) (11,22) (12,19) (13,28) (14,17) (15,18) 
nodes: 3273  conflicts: 29  modelTime: 658  solveTime: 5884  totalTime: 6548  modelSize: 41292  readTime: 6 size: 13