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