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