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