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