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