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