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