(1,30) (2,24) (3,13) (4,8) (5,15) (6,23) (7,11) (9,14) (10,19) (12,25) (18,22) (20,27) (21,28) (26,29) 
nodes: 4969  conflicts: 52  modelTime: 1719  solveTime: 21230  totalTime: 22969  modelSize: 72263  readTime: 20 size: 14