(1,30) (2,17) (3,25) (5,22) (6,19) (7,18) (8,20) (9,27) (10,16) (11,21) (13,24) (14,26) (15,23) 
nodes: 1616  conflicts: 31  modelTime: 658  solveTime: 3408  totalTime: 4073  modelSize: 41293  readTime: 7 size: 13