(1,22) (2,29) (3,23) (4,30) (5,21) (6,24) (7,17) (9,27) (10,16) (11,25) (12,18) (13,20) (14,28) 
nodes: 1826  conflicts: 37  modelTime: 658  solveTime: 2352  totalTime: 3017  modelSize: 41293  readTime: 7 size: 13