(1,22) (2,26) (3,9) (4,5) (8,25) (10,17) (12,21) (13,27) (14,20) (15,19) (18,29) (23,24) 
nodes: 4192  conflicts: 88  modelTime: 1700  solveTime: 18616  totalTime: 20337  modelSize: 72262  readTime: 21 size: 12