(1,30) (2,4) (5,17) (6,10) (7,22) (8,25) (9,16) (11,26) (12,27) (13,20) (14,23) (15,24) (18,28) (21,29) 
nodes: 7331  conflicts: 38  modelTime: 963  solveTime: 28231  totalTime: 29205  modelSize: 72266  readTime: 11 size: 14