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