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