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