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