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