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