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