(1,25) (2,26) (3,30) (4,27) (6,7) (8,14) (9,24) (10,19) (12,29) (13,15) (16,22) (17,18) (20,28) (21,23) 
nodes: 145613  conflicts: 54  modelTime: 969  solveTime: 460321  totalTime: 461302  modelSize: 72262  readTime: 12 size: 14