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