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