(1,19) (2,23) (3,18) (4,26) (5,20) (6,22) (7,16) (8,30) (9,29) (10,24) (11,28) (12,21) (13,17) (14,27) (15,25) 
nodes: 762  conflicts: 0  modelTime: 1188  solveTime: 1038  totalTime: 2234  modelSize: 41293  readTime: 8 size: 15