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