(1,27) (3,20) (4,18) (5,30) (6,22) (7,17) (8,26) (9,19) (10,28) (11,25) (12,24) (13,23) (14,16) (15,21) 
nodes: 4147  conflicts: 18  modelTime: 658  solveTime: 6921  totalTime: 7585  modelSize: 41293  readTime: 6 size: 14