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