(1,19) (3,21) (4,22) (6,17) (7,16) (8,25) (10,26) (11,24) (12,28) (13,30) (14,23) (15,27) 
nodes: 4442  conflicts: 49  modelTime: 658  solveTime: 6482  totalTime: 7146  modelSize: 41293  readTime: 6 size: 12