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