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