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