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