(1,22) (2,24) (4,30) (6,23) (7,19) (8,29) (9,26) (10,21) (11,28) (12,16) (13,25) (14,20) (15,27) 
nodes: 2212  conflicts: 54  modelTime: 659  solveTime: 2352  totalTime: 3017  modelSize: 41293  readTime: 6 size: 13