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