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