(1,19) (2,16) (3,22) (4,17) (5,30) (7,27) (8,18) (9,26) (10,29) (11,24) (12,23) (13,20) (14,25) 
nodes: 4982  conflicts: 21  modelTime: 663  solveTime: 10266  totalTime: 10935  modelSize: 41292  readTime: 6 size: 13