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