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