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