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