(1,13) (2,25) (3,20) (4,17) (5,10) (6,27) (7,15) (8,26) (9,22) (12,14) (16,19) (18,23) (21,28) (24,30) 
nodes: 95699  conflicts: 78  modelTime: 1105  solveTime: 292795  totalTime: 293935  modelSize: 72263  readTime: 35 size: 14