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