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