(1,27) (2,21) (3,18) (4,17) (5,26) (8,16) (9,24) (10,23) (11,19) (12,29) (13,28) (14,30) (15,25) 
nodes: 2946  conflicts: 51  modelTime: 658  solveTime: 4298  totalTime: 4962  modelSize: 41293  readTime: 6 size: 13