(1,22) (2,19) (4,18) (5,28) (6,27) (7,30) (8,25) (10,17) (11,20) (12,21) (13,29) (14,26) (15,23) 
nodes: 1478  conflicts: 59  modelTime: 658  solveTime: 1545  totalTime: 2209  modelSize: 41293  readTime: 6 size: 13