(1,6) (2,28) (3,30) (4,9) (5,7) (8,22) (10,29) (11,15) (12,14) (13,27) (16,23) (17,21) (18,24) (19,25) (20,26) 
nodes: 258984  conflicts: 29  modelTime: 1706  solveTime: 1281260  totalTime: 1282984  modelSize: 72275  readTime: 18 size: 15