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