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