(1,14) (2,7) (3,28) (4,12) (5,23) (6,13) (8,30) (9,10) (11,19) (15,17) (16,25) (18,20) (21,26) (27,29) 
nodes: 12626  conflicts: 49  modelTime: 932  solveTime: 42234  totalTime: 43177  modelSize: 72263  readTime: 11 size: 14