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