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