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