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