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