(1,30) (2,27) (3,14) (4,9) (5,12) (6,15) (7,25) (8,24) (10,17) (11,20) (13,22) (16,29) (18,23) (19,21) (26,28) 
nodes: 127168  conflicts: 47  modelTime: 965  solveTime: 438380  totalTime: 439356  modelSize: 72262  readTime: 11 size: 15