(1,19) (3,17) (4,28) (5,18) (8,16) (9,24) (11,25) (12,21) (13,22) (14,30) (15,27) 
nodes: 2521  conflicts: 49  modelTime: 658  solveTime: 3502  totalTime: 4167  modelSize: 41293  readTime: 7 size: 11