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