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