(1,21) (2,24) (4,27) (5,25) (7,28) (8,16) (10,18) (11,30) (12,26) (13,17) (14,23) (15,20) 
nodes: 2722  conflicts: 54  modelTime: 655  solveTime: 3374  totalTime: 4035  modelSize: 41293  readTime: 6 size: 12