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