(1,21) (2,16) (3,24) (4,29) (8,20) (9,19) (10,17) (11,22) (12,25) (13,28) (14,18) (15,27) 
nodes: 2738  conflicts: 56  modelTime: 669  solveTime: 5443  totalTime: 6118  modelSize: 41292  readTime: 6 size: 12