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