(1,24) (2,4) (3,25) (5,17) (6,15) (7,9) (8,27) (10,13) (11,28) (12,22) (14,29) (16,21) (18,30) (19,20) (23,26) 
nodes: 204918  conflicts: 34  modelTime: 1656  solveTime: 1088539  totalTime: 1090213  modelSize: 72268  readTime: 18 size: 15