(1,27) (2,25) (3,21) (4,28) (6,13) (7,30) (8,18) (9,22) (10,20) (12,24) (14,26) (15,17) (16,23) (19,29) 
nodes: 21066  conflicts: 79  modelTime: 944  solveTime: 61822  totalTime: 62777  modelSize: 72262  readTime: 11 size: 14