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