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